from localc import *

if __name__ == '__main__':
    p = Proposition("a and b and not c")
    print("Original proposition:")
    print(p, '\n')

    print("Modifying proposition...")
    values = {"a": True, "b": True, "c": False}
    for identifier in p.identifiers:
        identifier.value = values[identifier.name]
    p.init()

    print("After modifying:")
    print(p)
    print("With a value of {}".format(p.value))
